﻿namespace PathDelayFaultUniversalAnalyzer
{
    class PdfResult
    {
        public string Name { get; set; }
        public int Paths { get; set; }
        public int RobustPaths { get; set; }
        public int NonRobustPaths { get; set; }
        public int FalsePaths { get; set; }
        public PdfStatus Status { get; set; }
        public string Description { get; set; }
    }
}
